<?php
	session_start();
	
	$_SESSION['login']='NO';
	$_SESSION['nick']='';
	$_SESSION['college']='';
	$_SESSION['dept']='';

	session_unset($_SESSION['login']);
	session_unset($_SESSION['nick']);
	session_unset($_SESSION['college']);
	session_unset($_SESSION['dept']);
	
	if($_SESSION['login']=='NO')
		session_destroy();

	header('Location: login.php');
	exit;
?>